Cuantificador universal

En lógica, se usa el símbolo ${\displaystyle \forall }$, denominado cuantificador universal,^[1]​ antepuesto a una variable para decir que "para todo" elemento de un cierto conjunto se cumple la proposición dada a continuación.^[2]​

${\displaystyle \forall x\in B}$

1. ↑ Lista de signos o símbolos no alfabetizables en el diccionario panhispánico de dudas, apéndice 4
2. ↑ Real Academia de Ciencias Exactas, Física y Naturales, ed. (1999). Diccionario esencial de las ciencias. Espsa. ISBN 84-239-7921-0.